翻訳と辞書 Words near each other ・ Interaction (disambiguation) ・ Interaction (statistics) ・ Interaction and Robotics Research Center ・ Interaction between monetary and fiscal policies ・ InterAction Council of Former Heads of State and Government ・ Interaction design ・ Interaction Design Foundation ・ Interaction Design Institute Ivrea ・ Interaction design pattern ・ Interaction energy ・ Interaction Flow Modeling Language ・ Interaction frequency ・ Interaction hypothesis ・ Interaction information ・ Interaction model ・ Interaction nets ・ Interaction network ・ Interaction overview diagram ・ Interaction picture ・ Interaction point ・ Interaction protocol ・ InterAction School of Performing Arts ・ Interaction Soil-Biosphere-Atmosphere ・ Interaction Styles ・ Interaction technique ・ Interaction theory ・ Interaction value analysis ・ Interaction-free measurement ・ Interactional expertise ・ Interactional justice Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Interaction nets ： ウィキペディア英語版 Interaction nets Interaction nets are a low level graphical computation paradigm first proposed by Yves Lafont and based on Jean-Yves Girard's proof nets for linear logic. An interaction net system comprises: a set of agents, each with one principal port and zero or more auxiliary ports; a set of rules between agents (there is at most one rule for every pair of agents); and a net on which the rules are to be applied. Compared to traditional term syntax, interaction nets enforce linearity -- each resource is used exactly once --, from which we can derive strong confluence. Thus, they provide a natural language for massive parallelism. They are also at the heart of the efficient and optimal, in Levy's sense, evaluators for lambda calculus available today. == External links == ;Assisted drawing in LaTeX * (【引用サイトリンク】first=Marc ) See also examples on (). ;Software * (【引用サイトリンク】first=Miguel ) See also on (its package on HackageDB ). * (【引用サイトリンク】first=Marc ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Interaction nets」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.